Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability

机译：使用彩色Petri网的基于组件的软件系统的早期可靠性评估

机译：使用模糊和ANFIS技术的基于组件的软件系统的可靠性评估

机译：面向开源软件的面向组件的可靠性评估方法

机译：考虑组件有效行为的基于组件的软件可靠性评估方法

机译：使用基于UML的软件模型进行基于组件的早期可靠性评估。

机译：杀菌产品的环境风险评估：相关成分的识别和基于成分的混合物评估的可靠性

机译：使用动态编程评估基于体系结构的软件系统可靠性分配

机译：通过故障避免和容错实现软件可靠性

机译：用于监视数据完整性和软件开发完整性的芯片卡，具有软件模块，该模块生成软件对策以及相对于参与或集成到工具链组件中的冗余数据的对策

机译：用于计算机系统的已加载软件组件的完整性保护方法，涉及注册软件组件的已实现特征并确定软件组件的特征

机译：数据库的参照完整性，一致性和完整性加载